Câu ví dụCác nhóm đồng luân (bao gồm nhóm cơ bản).Định lý hình cầu của Papakyriakopoulos (1957) đưa ra các điều kiện cho các phần tử của nhóm đồng luân thứ hai của một đa diện 3 được biểu thị bằng các hình cầu nhúng.